ProjectIT-Requirements, a Formal and User-oriented Approach to Requirements Specification

نویسندگان

  • Carlos Videira
  • Alberto Rodrigues da Silva
چکیده

Software requirements engineering is an essential activity for the successful development of information systems. The outcome of this activity is not always successful, which is visible in the lack of software quality, costs and schedules overruns. Although the efforts made and the initiatives proposed, there is not a widely accepted practice or standard in this area, comparable to what we have achieved, for example, in the modeling activities. This paper briefly describes the state of the art in the area of requirements specification, explains the motivation to develop a new initiative, which we have called “ProjectIT-Requirements” and enumerates the goals we want to achieve with the project, the context in which it integrates and the results obtained from the development of an initial prototype.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Use Case Driven Extension of ProjectIT-RSL to Support Behavioral Concerns

Requirements Engineering is a system engineering discipline of paramount importance. Its primary deliverable is the requirements specification, a document that entails the detailed description of business-specific needs to which the target software system must comply to. Despite the advances brought by modeling techniques, the specification of software systems still consists mostly in manually ...

متن کامل

The ProjectIT-RSL Language Overview

Requirements engineering is widely considered to be an essential activity for the successful development of information systems. This paper briefly presents a new initiative called “ProjectIT-Requirements” and describes the results achieved in the definition of a requirements specification language, called “ProjectIT-RSL”, and the implementation of a prototype using VisualStudio.NET. This is th...

متن کامل

Combining Formal Specifications with Design by Contract

In this paper, we present an approach to the object-oriented software development which is based on: i) automatic generation of a throwaway prototype from the initial specification in a formal, declarative, object-oriented specification language, ii) validation of user requirements and refinement of the specification by using this prototype, and iii) automatic translation from the validated spe...

متن کامل

Agent-Oriented Modeling by Interleaving Formal and Informal Specification

The goal of this paper is to discuss possibilities of inter-mixing formal and informal specification in order to guide and support the conceptual modeling process in software development. We sketch a framework which rests on an agentoriented methodology that provides a modeling language which allows for the definition of both informal and formal specification. We show how formal techniques can ...

متن کامل

Vom Fachbereich für Mathematik und Informatik

Conceptual modelling is the process of the software life cycle concerned with the identification and specification of requirements for the system to be built. In the last years, the ever increasing demands for software correctness have encouraged the use of formal methods in the modelling process. The use of formal specification languages provides more precise and concise specifications, and a ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004